P := p
    #
    implements []
n